mcsta/modest mcsta cluster.jani -E N=128,T=2000,t=20 --props premium_steady -O out.txt Minimal --unsafe --es -S Memory --no-partial-results --width 1e-3 --relative-width
cluster.jani:model: info: cluster is a CTMC model.
cluster.jani: info: Need 24 bytes per state.
cluster.jani: info: Explored 597012 states for N=128, T=2000.0, t=20.0.
Peak memory usage: 394 MB
Analysis results for cluster.jani
Experiment N=128, T=2000.0, t=20.0
+ State space exploration
State size: 24 bytes
States: 597012
Transitions: 597012
Branches: 2908192
Rate: 177894 states/s
Time: 3.5 s
+ Property premium_steady
Value: 0.9979378910937587
Time: 550.4 s
+ Essential states
Iterations: 1
Essential states: 597012
Transitions: 597012
Branches: 2908192
Time: 0.0 s
+ LongRunAverage
Time: 550.321273
Max. end components: 1
Max. exit rate: 50.507999999999996
Min. exit rate: 0.125
Avg. exit rate: 8.980695592049178
Max number of actions: 0
Min number of actions: 2147483647
Avg. number of actions: 0
Exported results to file "/out.txt".